THE DISCONTINUITY PROBLEM
نویسندگان
چکیده
Abstract Matthias Schröder has asked the question whether there is a weakest discontinuous problem in topological version of Weihrauch lattice. Such can be considered as unsolvable problem. We introduce discontinuity , and we show that it reducible exactly to effectively problems defined suitable way. However, which sense this answers Schröder’s sensitively depends on axiomatic framework chosen, positive answer if work Zermelo–Fraenkel set theory with dependent choice axiom determinacy $\mathsf {AD}$ . On other hand, using full choice, one construct are discontinuous, but not so. Hence, exact situation at bottom lattice setting choose. prove our result variant Wadge games for mathematical problems. While existence winning strategy Player II characterizes continuity (as already shown by Nobrega Pauly), I effective By understand condition every either continuous or discontinuous. This notion fairly strong notion, only implied also implies determinacy. close brief discussion generalized notions productivity.
منابع مشابه
Inverse Sturm-Liouville problem with discontinuity conditions
This paper deals with the boundary value problem involving the differential equation begin{equation*} ell y:=-y''+qy=lambda y, end{equation*} subject to the standard boundary conditions along with the following discontinuity conditions at a point $ain (0,pi)$ begin{equation*} y(a+0)=a_1 y(a-0),quad y'(a+0)=a_1^{-1}y'(a-0)+a_2 y(a-0), end{equation*} where $q(x), a_1 , a_2$ are rea...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولinverse sturm-liouville problem with discontinuity conditions
this paper deals with the boundary value problem involving the differential equationbegin{equation*} ell y:=-y''+qy=lambda y, end{equation*} subject to the standard boundary conditions along with the following discontinuity conditions at a point $ain (0,pi)$ begin{equation*} y(a+0)=a_1 y(a-0),quad y'(a+0)=a_1^{-1}y'(a-0)+a_2 y(a-0),end{equation*}where $q(x), a_1 , a_2$ are real, $qin l...
متن کاملA Dirichlet Problem with Free Gradient Discontinuity
We prove the existence of strong solution for Blake & Zisserman functional under Dirichlet boundary condition. The result is obtained by showing partial regularity of weak solutions up to the boundary through blow-up technique and a decay property for bi-harmonic functions in half disk.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2022
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2021.106